Leia-me
-------

Para carregar todas as classes e mais o script de teste, entre no ambiente LISP de sua preferncia (mas recomendo o CLISP, que foi usado no desenvolvimento) e digite:

> (load "TESTE.LSP")

Para testar a mquina de inferncia, duas queries, "query" e "query2", so providas pelo script de teste. Os resultados esperados so:

> (infere maq query)
T
> (infere maq query2)
NIL

----------------------------
(C) 2004 Hlio Perroni Filho
